Results for 'O. Filologicznym Nurcie W. Logice'

997 found
Order:
  1. Krzysztof rotter.O. Filologicznym Nurcie W. Logice & I. Logika W. Dobie Kryzysu - 2001 - Studia Semiotyczne 24:115.
     
    Export citation  
     
    Bookmark  
  2. O filozoficznym nurcie w logice.Krzysztof Rotter - 2001 - Studia Semiotyczne 24:115-139.
    No categories
     
    Export citation  
     
    Bookmark  
  3. Marek Tokarz.O. Zdrowy Rozsądek W. Logice - 1994 - Studia Semiotyczne 19:67.
     
    Export citation  
     
    Bookmark  
  4.  68
    The logic of bunched implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.
    We introduce a logic BI in which a multiplicative (or linear) and an additive (or intuitionistic) implication live side-by-side. The propositional version of BI arises from an analysis of the proof-theoretic relationship between conjunction and implication; it can be viewed as a merging of intuitionistic logic and multiplicative intuitionistic linear logic. The naturality of BI can be seen categorically: models of propositional BI's proofs are given by bicartesian doubly closed categories, i.e., categories which freely combine the semantics of propositional intuitionistic (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  5. The Problem of Meaning in Linguistics.W. V. O. Quine - 1953 - In Willard Van Orman Quine (ed.), From a Logical Point of View. Cambridge: Harvard University Press. pp. 47-64.
     
    Export citation  
     
    Bookmark   224 citations  
  6.  29
    Logical Correspondence with Russell.W. V. O. Quine - 1988 - Russell: The Journal of Bertrand Russell Studies 8 (1):225.
  7. Set Theory and its Logic, revised edition.W. V. O. QUINE - 1969
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  8.  82
    Logical Fictions.W. O. Brigstocke - 1920 - The Monist 30 (2):240-252.
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark  
  9.  10
    Logical Fictions.W. O. Brigstocke - 1920 - The Monist 30 (4):548-567.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  6
    Logical Fictions.W. O. Brigstocke - 1920 - The Monist 30 (3):395-405.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  5
    Logical Fictions.W. O. Brigstocke - 1921 - The Monist 31 (1):36-57.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  12
    Logical Fictions.W. O. Brigstocke - 1921 - The Monist 31 (1):36-57.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  5
    Logical Fictions.W. O. Brigstocke - 1920 - The Monist 30 (2):240-252.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  11
    Logical Fictions.W. O. Brigstocke - 1920 - The Monist 30 (3):395-405.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  5
    Logical Fictions.W. O. Brigstocke - 1920 - The Monist 30 (4):548-567.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  40
    Index Sets for Classes of High Rank Structures.W. Calvert, E. Fokina, S. S. Goncharov, J. F. Knight, O. Kudinov, A. S. Morozov & V. Puzarenko - 2007 - Journal of Symbolic Logic 72 (4):1418 - 1432.
    This paper calculates, in a precise way, the complexity of the index sets for three classes of computable structures: the class $K_{\omega _{1}^{\mathit{CK}}}$ of structures of Scott rank $\omega _{1}^{\mathit{CK}}$ , the class $K_{\omega _{1}^{\mathit{CK}}+1}$ of structures of Scott rank $\omega _{1}^{\mathit{CK}}+1$ , and the class K of all structures of non-computable Scott rank. We show that I(K) is m-complete $\Sigma _{1}^{1},\,I(K_{\omega _{1}^{\mathit{CK}}})$ is m-complete $\Pi _{2}^{0}$ relative to Kleen's O, and $I(K_{\omega _{1}^{\mathit{CK}}+1})$ is m-complete $\Sigma _{2}^{0}$ relative to O.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  45
    Set Existence.R. O. Gandy, G. Kreisel & W. W. Tait - 1962 - Journal of Symbolic Logic 27 (2):232-233.
  18.  11
    Are Necessary Truths True by Convention?Karl Britton, J. O. Urmson & W. Kneale - 1947 - Journal of Symbolic Logic 14 (3):201-202.
  19.  19
    O Sentido da Nova Logica.N. C. A. da Costa & W. O. Quine - 1997 - Journal of Symbolic Logic 62 (2):688.
  20.  13
    European and American Philosophers.John Marenbon, Douglas Kellner, Richard D. Parry, Gregory Schufreider, Ralph McInerny, Andrea Nye, R. M. Dancy, Vernon J. Bourke, A. A. Long, James F. Harris, Thomas Oberdan, Paul S. MacDonald, Véronique M. Fóti, F. Rosen, James Dye, Pete A. Y. Gunter, Lisa J. Downing, W. J. Mander, Peter Simons, Maurice Friedman, Robert C. Solomon, Nigel Love, Mary Pickering, Andrew Reck, Simon J. Evnine, Iakovos Vasiliou, John C. Coker, Georges Dicker, James Gouinlock, Paul J. Welty, Gianluigi Oliveri, Jack Zupko, Tom Rockmore, Wayne M. Martin, Ladelle McWhorter, Hans-Johann Glock, Georgia Warnke, John Haldane, Joseph S. Ullian, Steven Rieber, David Ingram, Nick Fotion, George Rainbolt, Thomas Sheehan, Gerald J. Massey, Barbara D. Massey, David E. Cooper, David Gauthier, James M. Humber, J. N. Mohanty, Michael H. Dearmey, Oswald O. Schrag, Ralf Meerbote, George J. Stack, John P. Burgess, Paul Hoyningen-Huene, Nicholas Jolley, Adriaan T. Peperzak, E. J. Lowe, William D. Richardson, Stephen Mulhall & C. - 2017 - In Robert L. Arrington (ed.), A Companion to the Philosophers. Oxford, UK: Blackwell. pp. 109–557.
    Peter Abelard (1079–1142 ce) was the most wide‐ranging philosopher of the twelfth century. He quickly established himself as a leading teacher of logic in and near Paris shortly after 1100. After his affair with Heloise, and his subsequent castration, Abelard became a monk, but he returned to teaching in the Paris schools until 1140, when his work was condemned by a Church Council at Sens. His logical writings were based around discussion of the “Old Logic”: Porphyry's Isagoge, aristotle'S Categories and (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. O Desenvolvimento da Lógica.W. C. Kneale - 1968 - Gulbenkian.
    No categories
     
    Export citation  
     
    Bookmark   6 citations  
  22.  11
    W. V. Quine: Perspectives on Logic, Science and Philosophy.Bradley Edmister & Michael O’Shea - 1994 - The Harvard Review of Philosophy 4 (1):47-57.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  12
    W. V. Quine: Perspectives on Logic, Science and Philosophy.Bradley Edmister & Michael O’Shea - 1994 - The Harvard Review of Philosophy 4 (1):47-57.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  43
    W. V. Quine: Perspectives on Logic, Science and Philosophy.Michael O'Shea - 1994 - The Harvard Review of Philosophy 4 (1):47-57.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  25.  66
    Philosophy of Logic.Willard V. O. Quine - 1986 - Philosophy 17 (3):392-393.
    With his customary incisiveness, W. V. Quine presents logic as the product of two factors, truth and grammar-but argues against the doctrine that the logical truths are true because of grammar or language. Rather, in presenting a general theory of grammar and discussing the boundaries and possible extensions of logic, Quine argues that logic is not a mere matter of words.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   146 citations  
  26.  10
    L. O. Kattsoff. Postulational methods. II. Philosophy of science, vol. 3 , pp. 67–89.W. V. Quine - 1936 - Journal of Symbolic Logic 1 (1):43-43.
  27.  60
    Nieuwe argumenten tegen de toeschrijving Van het auteurschap Van de „stelkonstige reeckening Van den regenboog” en „reeckening Van kanssen” aan Spinoza.W. N. A. Klever - 1985 - Tijdschrift Voor Filosofie 47 (3):493 - 502.
    An accurate analysis of the text shows that the small treatises have a logical structure and a style which is in all aspects unspinozistic. The main points of difference are : a formalistic interpretation of mathematics‚ the opposition between mathematics and physics‚ slavish cartesianism‚ the presence of numerous pleonasms‚ carelessness of expression‚ parade of learning‚ prolixity‚ attention for irrelevant qualities of authors quoted‚ educational purpose. Together with De Vet’s demonstration that the author of SRR and RK is still alive in (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. C. O. HILL "Word and object in Husserl, Frege, and Russell. The roots of twentieth century philosophy". [REVIEW]W. Mays - 1994 - History and Philosophy of Logic 15 (2):259.
  29.  14
    Gitik Moti. The negation of the singular cardinal hypothesis from O = K ++. Annals of pure and applied logic, vol. 43 , pp. 209–234. [REVIEW]W. J. Mitchell - 1991 - Journal of Symbolic Logic 56 (1):344-344.
  30.  32
    The Logic of "Ulysses"; Or, Why Molly Had to Live in Gibraltar.Ralph W. Rader - 1984 - Critical Inquiry 10 (4):567-578.
    “O, rocks!” Molly exclaims in impatience with Bloom’s first definition of metempsychosis, “tell us in plain words” . Looking forward, then, we remember that Bloom asks Murphy if he has seen the Rock of Gibraltar and asks further what year that would have been and if Murphy remembers the boats that plied the strait. “I’m tired of all them rocks in the sea,” replies Murphy . Bloom’s interest derives from Molly’s connection with Gibraltar, and Molly herself in her monologue remembers (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  31.  34
    Thomas Aquinas on the Passions: A Study of Summa Theologiae Ia2ae 22–48. By Robert Miner; and The Logic of Desire: Aquinas on Emotion. By Nicholas E. Lombardo, O.P. [REVIEW]S. Joseph W. Koterski - 2013 - International Philosophical Quarterly 53 (4):466-468.
  32.  11
    Review: L. O. Kattsoff, Postulational Methods. II. [REVIEW]W. V. Quine - 1936 - Journal of Symbolic Logic 1 (1):43-43.
  33. Grande Sertão: Veredas by João Guimarães Rosa.Felipe W. Martinez, Nancy Fumero & Ben Segal - 2013 - Continent 3 (1):27-43.
    INTRODUCTION BY NANCY FUMERO What is a translation that stalls comprehension? That, when read, parsed, obfuscates comprehension through any language – English, Portuguese. It is inevitable that readers expect fidelity from translations. That language mirror with a sort of precision that enables the reader to become of another location, condition, to grasp in English in a similar vein as readers of Portuguese might from João Guimarães Rosa’s GRANDE SERTÃO: VEREDAS. There is the expectation that translations enable mobility. That what was (...)
     
    Export citation  
     
    Bookmark  
  34. Czas i stawanie się w sztucznych i naturalnych układach kognitywnych.Marek W. Bielecki - 1995 - Filozofia Nauki 4.
    In my paper I review the main strategies adopted by two leading schools in cognitive science, symbolic artificial intelligence (AI) and connectionism, in modeling time-dependent phenomena such as learning. In particular, I briefly mention shortcomings of non-monotonic logic approach that dominates symbolic AI. I also discuss the problems that beset the recurrent networks approach advocated by connectionists (e.g., S. Grossberg) and philosophers (e.g., P. Churchland), who focus their attention on oscillatory behavior of such networks. I point out that neither approach (...)
    No categories
     
    Export citation  
     
    Bookmark  
  35. Review: W. W. Tait, A Nonconstructive Proof of Gentzen's Hauptsatz for Second Order Predicate Logic. [REVIEW]Moto-O. Takashaih - 1968 - Journal of Symbolic Logic 33 (2):289-290.
  36.  8
    Tait W. W.. A nonconstructive proof of Gentzen's Hauptsatz for second order predicate logic. Bulletin of the American Mathematical Society, vol. 72 , pp. 980–983. [REVIEW]Moto-O. Takahashi - 1968 - Journal of Symbolic Logic 33 (2):289-290.
  37.  15
    Bibliography of John Dewey. By M. H. Thomas, Columbia University Press, New York. 246 pages, $3. - The Origin of Submarine Canyons. By D. Johnson, Columbia University Press, New York. 126 pages, $2.50. - Nature in the German Novel of the Late Eighteenth Century. By C. L. Hornaday, Columbia University Press, New York. 221 pages, $2.25. - Philosophy in the Poetry of Edwin Arlington Robinson. By Estelle Kaplan. Columbia University Press. 162 pages, $2.25. - The March of Medicine. Edited by the Committee on Lectures to the Laity of the N. Y. Academy of Medicine. Columbia University Press, New York. 168 pages, $2.00. - The 1938 Mental Measurements Yearbook. By O. K. Buros, Rutgers University Press. 415 pages $3. - Psychology and the Cosmic Order, 185 pages; Logic and the Cosmic Order, 92 pages; God and the Cosmic Order, 157 pages. Three books by Louis F. Anderson, Society for the Elucidation of Religious Principles, New York. - Cosmo-Retardation. By I. Ziporyn, Dexter Publishing Co., Detroi. [REVIEW]M. M. W. - 1940 - Philosophy of Science 7 (3):387-388.
  38.  83
    Dewey on Metaphysics, Meaning Making, and Maps.James W. Garrison - 2005 - Transactions of the Charles S. Peirce Society 41 (4):818-844.
    In lieu of an abstract, here is a brief excerpt of the content:Dewey on Metaphysics, Meaning Making, and Maps James W. Garrison Blueprints and maps are propositions and they exemplify what it is to be propositional.1 [E]very characteristic trait is a quality.... produced and destroyed by existential conditions.2 John Dewey's claim that there are metaphysical generic traits of existence the theory of which provides "a ground-map" for cultural criticism remains controversial. I will work along two intertwining lines to try and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  39.  15
    Review: Moti Gitik, The Negation of the Singular Cardinal Hypothesis from $o(kappa) = kappa^{++}$. [REVIEW]W. J. Mitchell - 1991 - Journal of Symbolic Logic 56 (1):344-344.
  40.  21
    St. Thomas Aquinas’ Philosophy in the Commentary to the Sentences. [REVIEW]O. J. - 1977 - Review of Metaphysics 30 (3):532-533.
    This book notes that from the standpoints of "speculative vigor, originality and profoundness of thought" the Scripta on the Sentences "ranks first in the long list of Aquinas’ works". Yet, it claims, no commentator "has ever tried to extract from it the basic elements of his philosophy". The difficulty is that "Aquinas carefully avoids attributing to himself the discovery of any new doctrine". Mondin accordingly undertakes to disengage in some areas the philosophy contained in the Scripta. Logic is covered briefly, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  9
    Dicaearchus of Messana: Text, Translation, and Discussion.William W. Fortenbaugh & Eckart Schütrumpf - 2001 - Routledge.
    Dicaearchus of Messana (fl. c. 320 b.c.) was a peripatetic philosopher. Like Theophrastus of Eresus, he was a pupil of Aristotle. Dicaearchus's life is not well documented. There is no biography by Diogenes Laertius, and what the Suda offers is meager. However, it can be ascertained that a close friendship existed between Aristoxenus and Dicaearchus as both are mentioned as personal students of Aristotle. Dicaearchus lived for a time in the Peleponnesus, and in his pursuit of geographical studies and measuring (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  3
    What’s Love Got to do With It?Bruce W. Fraser - 2004 - International Journal of Philosophical Practice 2 (2):23-37.
    This paper argues for an intrinsic connection between Logic-Based Therapy (LBT) and empirical psychology, a connection that suggests the need to employ both philo­sophical and psychological theories in the clinical setting. This link is established by arguing that LBT is conceptually grounded in naturalized epistemology, the view introduced and defended by W. V. O. Quine in the aftermath of his attack on the Analytic-Synthetic dis­tinction. Naturalized epistemology places empirical psychology and logic on the same epis­temic foundation, and, it is argued, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43. Some Remarks on Normal Measures and Measurable Cardinals.Arthur W. Apter - 2001 - Mathematical Logic Quarterly 47 (1):35-44.
    We prove two theorems which in a certain sense show that the number of normal measures a measurable cardinal κ can carry is independent of a given fixed behavior of the continuum function on any set having measure 1 with respect to every normal measure over κ . First, starting with a model V ⊨ “ZFC + GCH + o = δ*” for δ* ≤ κ+ any finite or infinite cardinal, we force and construct an inner model N ⊆ V (...)
     
    Export citation  
     
    Bookmark   1 citation  
  44.  46
    Abbas, Niran, editor. Mapping Michel Serres. Ann Arbor: University of Michigan Press, 2005. Pp. ix+ 259. Paper, $27.95. Achinstein, Peter. Scientific Evidence: Philosophical Theories & Applications. Baltimore: Johns Hopkins University Press, 2005. Pp. ix+ 286. Cloth, $49.95. Allard, James W. The Logical Foundations of Bradley's Metaphysics: Judgment, Inference, and Truth. Cambridge. [REVIEW]Jack O. Balswick, Pamela Ebstyne King, Kevin S. Reimer, Steve Barbone, Lee Rice & Martin Hemelik - 2006 - Journal of the History of Philosophy 44 (1):131-34.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  29
    Documents sur la vie de Jules-César Vanini de Taurisano (review).Paul J. W. Miller - 1971 - Journal of the History of Philosophy 9 (2):249-250.
    In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 249 Girolamo Balduino: Ricerche sulla logica della Scuola di Padova nel Rinascimento. By Giovanni Papuli. (Bark Lacerta, Universith di Bari, Pubblicazioni dell'lstituto di filosofia, 12, 1967. Pp. 313. no price.) The philosophers at the University of Padua during the late Middle Ages and Renaissance arc attracting much renewed interest. This study makes accessible again the logical philosophy of Girolamo Balduino, professor at Padua during the second quarter (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  2
    Ernst Cassirer: Scientific Knowledge and the Concept of Man (review). [REVIEW]W. H. Werkmeister - 1973 - Journal of the History of Philosophy 11 (1):139-142.
    In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 139 twenty years ago has slowly given way to an awareness that cross-cultural differences are real enough to call for different rules of behavior and different sets of values. Several possibilities are still open to the ethicist concerned with the problem of relativism. We may want to reconsider more carefully than ever before the connotations of "relative," of "action" and of "culture" in the context of those (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  32
    Essays in honour of Anton Charles Pegis.Anton Charles Pegis & J. Reginald O'Donnell (eds.) - 1974 - Toronto: Pontifical Institute of Mediaeval Studies.
    O'Donnell, J. R. Anton Charles Pegis on the occasion of his retirement.--Conlan, W. J. The definition of faith according to a question of MS. Assisi 138: study and edition of text.--Spade, P. V. Five logical tracts by Richard Lavenham.--Maurer, A. Henry of Harclay's disputed question on the plurality of forms.--Brown, V. Giovanni Argiropulo on the agent intellect: an edition of Ms. Magliabecchi V 42.--Synan, E. A. The Exortacio against Peter Abelard's Dialogus inter philosophum, Iudaeum et Christianum.--Fitzgerald, W. Nugae Hyginianae.--Sheehan, M. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  15
    Boone William W.. An analysis of Turing's “The word problem in semi-groups with cancellation.” Annals of mathematics, ser. 2 vol. 67 , pp. 195–202. [REVIEW]R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (3):239-239.
  49.  12
    Review: William W. Boone, An Analysis of Turing's "The Word Problem in Semi-groups with Cancellation". [REVIEW]R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (3):239-239.
  50. AA. W., The Logico Algebraic Approach to Quantum Mechanics, voL II: Con-temporary Consolidation, ed. by CA. Hooker, D. Reidel Publ. Camp., Dor-drecht-Boston-London, 1979. AA. W., Theoretical Approaches to Complex Systems, Proceedings, Tubingen 1977, Lecture Notes in Biomathematics, 21, Springer-Veriag, Berlin 1978. [REVIEW]K. O. Apel - 1979 - International Logic Review 12 (19-24):156.
1 — 50 / 997